On the (fuzzy) logical content of CADIAG-2
نویسندگان
چکیده
CADIAG-2 is a successful expert system assisting in the differential diagnosis in internal medicine. With its aid, conjectures about present diseases are derived from possibly vague information about a patient’s symptoms. In this paper we provide a mathematical formalisation of the inferential mechanism of CADIAG-2. A Gentzen-style calculus for the resulting logic is introduced and used to compare the system’s behaviour with t-norm based fuzzy logics.
منابع مشابه
A Formal Logical Framework for Cadiag-2
Cadiag-2-where "Cadiag" stands for "computer-assisted diagnosis"- is an expert system based on fuzzy logic assisting in the differential diagnosis in internal medicine. With its aid, it is possible to derive from possibly vague information about a patient's symptoms, signs, laboratory test results, and clinical findings conjectures about present diseases. In this paper, we provide a mathematica...
متن کاملA probabilistic interpretation of the medical expert system CADIAG-2
CADIAG-2 is a well known expert system aimed at providing support for medical diagnose in the field of internal medicine. CADIAG-2 consists of a knowledge base in the form of a set of IF-THEN rules that relate distinct medical entities, in this paper interpreted as conditional probabilistic statements, and an inference engine constructed upon methods of fuzzy set theory. The aim underlying this...
متن کاملCadiag-2 and Fuzzy Probability Logics
We briefly describe the medical expert system Cadiag-2, developed to support the differential diagnostic process in internal medicine. We propose a propositional logic called fuzzy probability logic as a possible formalization of Cadiag-2 and indicate the way of transferring Cadiag-2's methodology into this framework.
متن کاملFormal approaches to rule-based systems in medicine: The case of CADIAG-2
There is no established formal framework for expert systems based on weighted IFTHEN rules. We discuss three mathematical models that have been recently proposed by the authors for CADIAG-2—a well-known system of this kind. The three frameworks are based on fuzzy logics, probability theory and possibilistic logic, respectively. CADIAG-2 is used here as a case study to evaluate these frameworks....
متن کاملCADIAG: approaches to computer-assisted medical diagnosis.
CADIAG-1 is a medical expert system, based on a symbolic logic representation of medical relationships. Strong relationships such as confirming, excluding or obligatory occurrence are applied to confirm or exclude diagnoses. Weak relationships are represented by facultative and not confirming relationships (FN-relationships). Diagnostic hypotheses are established by systematic combination of sy...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Fuzzy Sets and Systems
دوره 161 شماره
صفحات -
تاریخ انتشار 2010